Update coverity model per https://communities.coverity.com/message/6362#6362
authorrobertlipe <robertlipe@f51c46e8-681c-474f-0cfe-069cfd0219fb>
Mon, 3 Mar 2014 20:22:14 +0000 (20:22 +0000)
committerrobertlipe <robertlipe@f51c46e8-681c-474f-0cfe-069cfd0219fb>
Mon, 3 Mar 2014 20:22:14 +0000 (20:22 +0000)
gpsbabel/GPSBabel.xcodeproj/project.xcworkspace/xcuserdata/robertlipe.xcuserdatad/UserInterfaceState.xcuserstate
gpsbabel/coverity_model.cc

index 8abcfeea5ddb78f8035541daaed3b97fddad6eb2..040d732b88c73b3c79d4d788632795e5765c5740 100644 (file)
Binary files a/gpsbabel/GPSBabel.xcodeproj/project.xcworkspace/xcuserdata/robertlipe.xcuserdatad/UserInterfaceState.xcuserstate and b/gpsbabel/GPSBabel.xcodeproj/project.xcworkspace/xcuserdata/robertlipe.xcuserdatad/UserInterfaceState.xcuserstate differ
index 35ea8a1178a1c2555bffeece47713c62f481b32d..9672c756d6d9ed085f39b4cc550fc71fbef7c96e 100644 (file)
@@ -15,23 +15,23 @@ class route;
 // These functions "claim" their arguments 
 void
 waypt_add(Waypoint* wpt) {
-  __coverity_escape__;
+  __coverity_escape__(wpt);
 }
 
 
 void track_add_head(route_head* rte) {
-  __coverity_escape__;
+  __coverity_escape__(rte);
 }
 void route_add_head(route_head* rte) {
-  __coverity_escape__;
+  __coverity_escape__(rte);
 }
 void route_add_wpt(route_head* rte, Waypoint* wpt) {
-  __coverity_escape__;
+  __coverity_escape__(wpt);
 }
 void track_add_wpt(route_head* rte, Waypoint* wpt) {
-  __coverity_escape__;
+  __coverity_escape__(wpt);
 }
 void route_add_wpt_named(route_head* rte, Waypoint* wpt, 
                          const QString& namepart, int number_digits) {
-  __coverity_escape__;
+  __coverity_escape__(wpt);
 }